Exploiting equalities in polynomial programming
نویسندگان
چکیده
We propose a novel solution approach for polynomial programming problems with equality constraints. By means of a generic transformation, we show that solution schemes for the, typically simpler, problem without equalities can be used to address the problem with equalities. In particular, we propose new solution schemes for mixed binary programs, pure 0–1 quadratic programs, and the stable set problem.
منابع مشابه
Semidefinite representations for finite varieties
We present a concise semidefinite formulation for the problem of minimizing a polynomial over a semi-algebraic set defined by polynomial equalities and inequalities. When the polynomial equalities define a radical ideal I with a finite variety, this representation involves combinatorial moment matrices, indexed by a basis of R[x1, . . . , xn]/I. The arguments are elementary and extend known fac...
متن کاملAutomatic generation of polynomial invariants of bounded degree using abstract interpretation
A method for generating polynomial invariants of imperative programs is presented using the abstract interpretation framework. It is shown that for programs with polynomial assignments, an invariant consisting of a conjunction of polynomial equalities can be automatically generated for each program point. The proposed approach takes into account tests in conditional statements as well as in loo...
متن کاملAn Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants
A method for generating polynomial invariants of imperative programs is presented using the abstract interpretation framework. It is shown that for programs with polynomial assignments, an invariant consisting of a conjunction of polynomial equalities can be automatically generated for each program point. The proposed approach takes into account tests in conditional statements as well as in loo...
متن کاملOrienting Equalities with the Knuth-Bendix Order
Orientability of systems of equalities is the following problem: given a system of equalities s1 ≃ t1, . . . , sn ≃ tn, does there exist a simplification ordering ≻ which orients the system, that is for every i ∈ {1, ..., n}, either si ≻ ti or ti ≻ si. This problem can be used in rewriting for finding a canonical rewrite system for a system of equalities and in theorem proving for adjusting sim...
متن کاملInterprocedural Polynomial Invariants Acknowledgement I Would like to Thank
This thesis describes techniques for static analysis of polynomial equalities in interprocedural programs. It elaborates on approaches for analysing polynomial equalities over different domains as well as techniques to apply polynomial analysis to infer interprocedurally valid equalities of uninterpreted terms. This work is organised in three major theoretical parts, followed by a practical par...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Oper. Res. Lett.
دوره 36 شماره
صفحات -
تاریخ انتشار 2008